[next] [prev] [prev-tail] [tail] [up]

Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

252 252 438 373 0 1114 0 693 483

N.S.

1 1.00 1.74 1.48 0.00 4.42 0.00 2.75 1.92

time (sec)

N/A 0.647 6.241 0.629 0.000 0.359 0.000 0.372 21.144

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

292 292 995 483 0 1756 0 845 9761

N.S.

1 1.00 3.41 1.65 0.00 6.01 0.00 2.89 33.43

time (sec)

N/A 1.139 8.153 0.579 0.000 0.394 0.000 0.383 34.633

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

367 367 534 503 0 1925 0 847 10120

N.S.

1 1.00 1.46 1.37 0.00 5.25 0.00 2.31 27.57

time (sec)

N/A 1.929 9.272 1.184 0.000 0.435 0.000 0.388 30.723

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

513 513 1452 619 0 2465 0 1031 14266

N.S.

1 1.00 2.83 1.21 0.00 4.81 0.00 2.01 27.81

time (sec)

N/A 2.720 8.670 1.832 0.000 0.543 0.000 0.402 37.291

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 30 0 36 41 43 57

N.S.

1 1.00 1.00 1.76 0.00 2.12 2.41 2.53 3.35

time (sec)

N/A 0.047 0.010 0.132 0.000 0.284 1.401 0.325 16.984

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 56 59 0 226 0 235 182

N.S.

1 1.00 1.08 1.13 0.00 4.35 0.00 4.52 3.50

time (sec)

N/A 0.148 0.249 0.189 0.000 0.349 0.000 0.303 16.715

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 139 151 0 481 0 175 2739

N.S.

1 1.00 1.30 1.41 0.00 4.50 0.00 1.64 25.60

time (sec)

N/A 0.238 0.902 0.276 0.000 0.284 0.000 0.358 21.846

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 223 234 0 906 0 317 4924

N.S.

1 1.00 1.38 1.44 0.00 5.59 0.00 1.96 30.40

time (sec)

N/A 0.427 1.390 0.382 0.000 0.314 0.000 0.361 25.367

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

467 467 3696 5221 0 0 0 0 0

N.S.

1 1.00 7.91 11.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.522 29.385 31.840 0.000 0.000 0.000 0.000 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

375 375 560 3468 0 0 0 0 0

N.S.

1 1.00 1.49 9.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.896 20.159 23.235 0.000 0.000 0.000 0.000 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

308 308 507 3049 0 0 0 0 0

N.S.

1 1.00 1.65 9.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.606 18.492 17.284 0.000 0.000 0.000 0.000 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

355 355 478 1307 0 0 0 0 0

N.S.

1 1.00 1.35 3.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.459 12.675 9.884 0.000 0.000 0.000 0.000 0.000

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

352 352 723 2132 0 0 0 0 0

N.S.

1 1.00 2.05 6.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.459 18.748 6.401 0.000 0.000 0.000 0.000 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

411 411 1084 2477 0 0 0 0 0

N.S.

1 1.00 2.64 6.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.775 18.903 5.360 0.000 0.000 0.000 0.000 0.000

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

502 502 1334 3415 0 0 0 0 0

N.S.

1 1.00 2.66 6.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.301 18.939 6.233 0.000 0.000 0.000 0.000 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

587 587 1825 4930 0 0 0 0 0

N.S.

1 1.00 3.11 8.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.797 18.304 6.529 0.000 0.000 0.000 0.000 0.000

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

550 550 3988 5986 0 0 0 0 0

N.S.

1 1.00 7.25 10.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.173 31.128 44.899 0.000 0.000 0.000 0.000 0.000

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

454 454 3711 5220 0 0 0 0 0

N.S.

1 1.00 8.17 11.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.227 29.564 34.314 0.000 0.000 0.000 0.000 0.000

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

374 374 3214 3727 0 0 0 0 0

N.S.

1 1.00 8.59 9.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.876 25.994 28.327 0.000 0.000 0.000 0.000 0.000

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

415 415 6117 3577 0 0 0 0 0

N.S.

1 1.00 14.74 8.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.683 26.806 18.913 0.000 0.000 0.000 0.000 0.000

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

408 408 4010 2736 0 0 0 0 0

N.S.

1 1.00 9.83 6.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.651 27.833 8.347 0.000 0.000 0.000 0.000 0.000

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

414 414 1217 3541 0 0 0 0 0

N.S.

1 1.00 2.94 8.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.794 20.492 6.536 0.000 0.000 0.000 0.000 0.000

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

504 504 1381 3678 0 0 0 0 0

N.S.

1 1.00 2.74 7.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.317 20.500 7.517 0.000 0.000 0.000 0.000 0.000

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

583 583 1904 5199 0 0 0 0 0

N.S.

1 1.00 3.27 8.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.778 21.457 6.371 0.000 0.000 0.000 0.000 0.000

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

650 650 4551 7824 0 0 0 0 0

N.S.

1 1.00 7.00 12.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.043 30.989 214.386 0.000 0.000 0.000 0.000 0.000

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

534 534 3989 5986 0 0 0 0 0

N.S.

1 1.00 7.47 11.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.703 31.231 102.827 0.000 0.000 0.000 0.000 0.000

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

454 454 710 5478 0 0 0 0 0

N.S.

1 1.00 1.56 12.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.164 24.085 60.901 0.000 0.000 0.000 0.000 0.000

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

481 481 4075 4267 0 0 0 0 0

N.S.

1 1.00 8.47 8.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.006 28.458 34.601 0.000 0.000 0.000 0.000 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

478 478 6785 4438 0 0 0 0 0

N.S.

1 1.00 14.19 9.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.925 28.995 63.887 0.000 0.000 0.000 0.000 0.000

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

463 463 4266 4151 0 0 0 0 0

N.S.

1 1.00 9.21 8.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.048 28.637 51.038 0.000 0.000 0.000 0.000 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

507 507 1501 4749 0 0 0 0 0

N.S.

1 1.00 2.96 9.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.350 22.173 174.310 0.000 0.000 0.000 0.000 0.000

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

587 587 4992 5462 0 0 0 0 0

N.S.

1 1.00 8.50 9.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.834 28.063 495.716 0.000 0.000 0.000 0.000 0.000

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

403 403 956 2777 0 0 0 0 0

N.S.

1 1.00 2.37 6.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.680 18.693 18.558 0.000 0.000 0.000 0.000 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 353 487 1310 0 0 0 0 0

N.S.

1 1.00 1.38 3.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.477 14.578 9.860 0.000 0.000 0.000 0.000 0.000

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

393 393 3255 3473 0 0 0 0 0

N.S.

1 1.00 8.28 8.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.055 25.577 31.934 0.000 0.000 0.000 0.000 0.000

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

320 320 2993 2800 0 0 0 0 0

N.S.

1 1.00 9.35 8.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.648 23.960 19.449 0.000 0.000 0.000 0.000 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

253 253 409 1244 0 0 0 0 0

N.S.

1 1.00 1.62 4.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.379 18.182 16.324 0.000 0.000 0.000 0.000 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

313 313 729 964 0 0 0 0 0

N.S.

1 1.00 2.33 3.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.290 18.394 8.383 0.000 0.000 0.000 0.000 0.000

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

352 352 384 1093 0 0 0 0 0

N.S.

1 1.00 1.09 3.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.488 20.928 5.953 0.000 0.000 0.000 0.000 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 411 1133 2221 0 0 0 0 0

N.S.

1 1.00 2.76 5.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.765 17.590 4.910 0.000 0.000 0.000 0.000 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

506 506 1352 3152 0 0 0 0 0

N.S.

1 1.00 2.67 6.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.300 21.077 7.086 0.000 0.000 0.000 0.000 0.000

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

460 460 3853 5109 0 0 0 0 0

N.S.

1 1.00 8.38 11.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.177 29.573 29.115 0.000 0.000 0.000 0.000 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

327 327 3312 3394 0 0 0 0 0

N.S.

1 1.00 10.13 10.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.750 27.162 15.587 0.000 0.000 0.000 0.000 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

279 279 541 3018 0 0 0 0 0

N.S.

1 1.00 1.94 10.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.431 20.723 12.037 0.000 0.000 0.000 0.000 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

381 381 1119 2907 0 0 0 0 0

N.S.

1 1.00 2.94 7.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.516 20.230 8.475 0.000 0.000 0.000 0.000 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

431 431 1251 3332 0 0 0 0 0

N.S.

1 1.00 2.90 7.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.824 20.517 6.002 0.000 0.000 0.000 0.000 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

501 501 1870 4799 0 0 0 0 0

N.S.

1 1.00 3.73 9.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.174 18.561 5.820 0.000 0.000 0.000 0.000 0.000

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

488 488 4050 8334 0 0 0 0 0

N.S.

1 1.00 8.30 17.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.440 30.542 22.587 0.000 0.000 0.000 0.000 0.000

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

408 408 3819 7452 0 0 0 0 0

N.S.

1 1.00 9.36 18.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.961 30.024 16.006 0.000 0.000 0.000 0.000 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

378 378 3369 5564 0 0 0 0 0

N.S.

1 1.00 8.91 14.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.786 25.232 17.292 0.000 0.000 0.000 0.000 0.000

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

517 517 1715 7916 0 0 0 0 0

N.S.

1 1.00 3.32 15.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.876 21.379 9.391 0.000 0.000 0.000 0.000 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

559 559 1702 8179 0 0 0 0 0

N.S.

1 1.00 3.04 14.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.334 22.247 7.153 0.000 0.000 0.000 0.000 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

645 645 799 12228 0 0 0 0 0

N.S.

1 1.00 1.24 18.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.764 18.457 7.108 0.000 0.000 0.000 0.000 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

626 626 2188 14042 0 0 0 0 0

N.S.

1 1.00 3.50 22.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.532 24.280 15.932 0.000 0.000 0.000 0.000 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

303 303 749 963 0 0 0 0 0

N.S.

1 1.00 2.47 3.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.338 21.020 8.301 0.000 0.000 0.000 0.000 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 143 181 0 0 0 0 0

N.S.

1 1.00 0.72 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.190 5.606 8.033 0.000 0.000 0.000 0.000 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

338 338 498 1999 0 0 0 0 0

N.S.

1 1.00 1.47 5.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.448 15.046 8.492 0.000 0.000 0.000 0.000 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

445 445 1434 5002 0 0 0 0 0

N.S.

1 1.00 3.22 11.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.736 15.054 11.446 0.000 0.000 0.000 0.000 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F(-1) F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

145 145 0 259 0 0 0 0 0

N.S.

1 1.00 0.00 1.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 0.000 2.513 0.000 0.000 0.000 0.000 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F(-1) F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

213 213 0 946 0 0 0 0 0

N.S.

1 1.00 0.00 4.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.715 0.000 8.089 0.000 0.000 0.000 0.000 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 0 25 27 0 26 27 29

N.S.

1 1.00 0.00 0.93 1.00 0.00 0.96 1.00 1.07

time (sec)

N/A 0.393 0.000 0.129 7.036 0.000 6.291 1.558 20.791

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 0 25 27 0 26 27 29

N.S.

1 1.00 0.00 0.93 1.00 0.00 0.96 1.00 1.07

time (sec)

N/A 0.380 0.000 0.120 6.940 0.000 1.883 1.121 20.937

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 0 25 27 0 26 27 29

N.S.

1 1.00 0.00 0.93 1.00 0.00 0.96 1.00 1.07

time (sec)

N/A 0.389 0.000 0.120 11.371 0.000 0.867 1.230 19.388

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 0 25 27 0 26 27 29

N.S.

1 1.00 0.00 0.93 1.00 0.00 0.96 1.00 1.07

time (sec)

N/A 0.363 0.000 0.115 11.764 0.000 0.962 2.269 19.397

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 106 117 200 151 0 330 234

N.S.

1 1.00 0.73 0.81 1.38 1.04 0.00 2.28 1.61

time (sec)

N/A 0.243 0.661 0.893 0.227 0.294 0.000 0.312 21.393

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 85 119 163 136 0 304 194

N.S.

1 1.00 0.75 1.04 1.43 1.19 0.00 2.67 1.70

time (sec)

N/A 0.212 0.442 0.848 0.242 0.300 0.000 0.321 21.005

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 67 81 127 115 0 210 145

N.S.

1 1.00 0.72 0.87 1.37 1.24 0.00 2.26 1.56

time (sec)

N/A 0.172 0.196 0.751 0.219 0.265 0.000 0.310 19.228

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 75 75 88 96 0 153 104

N.S.

1 1.00 1.23 1.23 1.44 1.57 0.00 2.51 1.70

time (sec)

N/A 0.067 0.014 0.617 0.251 0.278 0.000 0.312 18.213

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 43 57 73 85 0 84 114

N.S.

1 1.00 1.23 1.63 2.09 2.43 0.00 2.40 3.26

time (sec)

N/A 0.085 0.007 0.378 0.206 0.283 0.000 0.299 17.102

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 46 48 58 54 0 79 100

N.S.

1 1.00 1.31 1.37 1.66 1.54 0.00 2.26 2.86

time (sec)

N/A 0.108 0.018 0.203 0.226 0.275 0.000 0.301 16.815

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 51 47 55 42 0 121 50

N.S.

1 1.00 0.98 0.90 1.06 0.81 0.00 2.33 0.96

time (sec)

N/A 0.169 0.057 0.193 0.241 0.264 0.000 0.290 17.256

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 75 65 79 60 0 180 84

N.S.

1 1.00 0.89 0.77 0.94 0.71 0.00 2.14 1.00

time (sec)

N/A 0.194 0.104 0.384 0.222 0.262 0.000 0.285 17.104

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 91 86 101 81 0 272 117

N.S.

1 1.00 0.87 0.82 0.96 0.77 0.00 2.59 1.11

time (sec)

N/A 0.212 0.146 0.557 0.219 0.259 0.000 0.296 17.460

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 88 104 124 96 0 300 149

N.S.

1 1.00 0.65 0.76 0.91 0.71 0.00 2.21 1.10

time (sec)

N/A 0.224 0.144 0.736 0.238 0.263 0.000 0.288 17.118

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 150 171 276 208 0 528 359

N.S.

1 1.00 0.76 0.86 1.39 1.05 0.00 2.67 1.81

time (sec)

N/A 0.410 1.001 1.112 0.236 0.278 0.000 0.354 20.709

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 120 148 228 180 0 478 317

N.S.

1 1.00 0.67 0.83 1.27 1.01 0.00 2.67 1.77

time (sec)

N/A 0.405 0.539 0.981 0.227 0.280 0.000 0.328 20.876

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 92 118 165 150 0 294 227

N.S.

1 1.00 0.79 1.02 1.42 1.29 0.00 2.53 1.96

time (sec)

N/A 0.159 0.362 0.802 0.216 0.271 0.000 0.350 20.641

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 67 112 140 136 0 192 176

N.S.

1 1.00 0.78 1.30 1.63 1.58 0.00 2.23 2.05

time (sec)

N/A 0.160 0.202 0.675 0.240 0.276 0.000 0.316 17.845

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 109 86 103 117 0 154 163

N.S.

1 1.00 1.82 1.43 1.72 1.95 0.00 2.57 2.72

time (sec)

N/A 0.199 1.806 0.452 0.263 0.275 0.000 0.337 17.300

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 120 94 99 87 0 178 169

N.S.

1 1.00 1.50 1.18 1.24 1.09 0.00 2.22 2.11

time (sec)

N/A 0.287 0.736 0.260 0.260 0.280 0.000 0.326 17.810

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 90 88 108 85 0 254 115

N.S.

1 1.00 0.84 0.82 1.01 0.79 0.00 2.37 1.07

time (sec)

N/A 0.318 0.659 0.425 0.242 0.253 0.000 0.315 17.226

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 118 118 142 114 0 437 169

N.S.

1 1.00 0.87 0.87 1.04 0.84 0.00 3.21 1.24

time (sec)

N/A 0.375 1.814 0.559 0.256 0.248 0.000 0.318 16.907

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 146 147 176 142 0 487 307

N.S.

1 1.00 0.81 0.82 0.98 0.79 0.00 2.71 1.71

time (sec)

N/A 0.390 1.115 0.724 0.259 0.273 0.000 0.323 20.657

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 278 214 248 409 286 0 932 571

N.S.

1 1.00 0.77 0.89 1.47 1.03 0.00 3.35 2.05

time (sec)

N/A 0.669 3.990 1.420 0.258 0.269 0.000 0.356 20.900

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 181 200 341 249 0 722 470

N.S.

1 1.00 0.72 0.79 1.35 0.99 0.00 2.87 1.87

time (sec)

N/A 0.581 4.135 1.307 0.221 0.283 0.000 0.354 20.994

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 140 185 266 211 0 586 395

N.S.

1 1.00 0.78 1.03 1.48 1.17 0.00 3.26 2.19

time (sec)

N/A 0.309 0.671 1.072 0.226 0.258 0.000 0.351 20.994

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 108 180 216 189 0 336 526

N.S.

1 1.00 0.79 1.31 1.58 1.38 0.00 2.45 3.84

time (sec)

N/A 0.282 0.417 0.923 0.218 0.279 0.000 0.341 18.683

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 277 141 169 167 0 241 249

N.S.

1 1.00 2.11 1.08 1.29 1.27 0.00 1.84 1.90

time (sec)

N/A 0.353 3.481 0.697 0.226 0.286 0.000 0.348 18.876

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 217 132 144 152 0 234 236

N.S.

1 1.00 1.75 1.06 1.16 1.23 0.00 1.89 1.90

time (sec)

N/A 0.461 2.046 0.569 0.227 0.280 0.000 0.343 17.852

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 159 137 152 131 0 314 1924

N.S.

1 1.00 1.10 0.94 1.05 0.90 0.00 2.17 13.27

time (sec)

N/A 0.501 1.568 0.492 0.218 0.280 0.000 0.331 19.003

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 140 139 171 136 0 536 202

N.S.

1 1.00 0.78 0.78 0.96 0.76 0.00 2.99 1.13

time (sec)

N/A 0.574 1.374 0.538 0.236 0.267 0.000 0.328 17.141

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 176 179 217 174 0 672 277

N.S.

1 1.00 0.80 0.81 0.98 0.79 0.00 3.04 1.25

time (sec)

N/A 0.627 2.482 0.736 0.217 0.265 0.000 0.328 17.280

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 422 335 0 743 0 412 4667

N.S.

1 1.00 2.26 1.79 0.00 3.97 0.00 2.20 24.96

time (sec)

N/A 0.820 2.249 0.539 0.000 0.696 0.000 0.362 22.100

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 300 229 0 609 0 269 4047

N.S.

1 1.00 2.10 1.60 0.00 4.26 0.00 1.88 28.30

time (sec)

N/A 0.522 1.929 0.432 0.000 2.764 0.000 0.326 21.743

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 130 144 0 472 0 175 719

N.S.

1 1.00 1.33 1.47 0.00 4.82 0.00 1.79 7.34

time (sec)

N/A 0.319 0.812 0.332 0.000 0.362 0.000 0.336 18.423

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 112 92 0 316 0 128 573

N.S.

1 1.00 1.47 1.21 0.00 4.16 0.00 1.68 7.54

time (sec)

N/A 0.132 0.379 0.266 0.000 0.607 0.000 0.325 18.755

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 68 73 0 250 0 274 573

N.S.

1 1.00 1.01 1.09 0.00 3.73 0.00 4.09 8.55

time (sec)

N/A 0.208 0.148 0.250 0.000 0.293 0.000 0.321 19.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 85 111 0 328 0 141 740

N.S.

1 1.00 0.94 1.23 0.00 3.64 0.00 1.57 8.22

time (sec)

N/A 0.275 0.630 0.308 0.000 0.271 0.000 0.316 19.316

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 121 168 0 427 0 227 3740

N.S.

1 1.00 0.90 1.25 0.00 3.19 0.00 1.69 27.91

time (sec)

N/A 0.532 0.747 0.398 0.000 0.285 0.000 0.321 21.560

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 152 242 0 547 0 360 4572

N.S.

1 1.00 0.85 1.36 0.00 3.07 0.00 2.02 25.69

time (sec)

N/A 0.808 0.979 0.505 0.000 0.290 0.000 0.313 22.748

[next] [prev] [prev-tail] [front] [up]